The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Annabelle McIver Books

Results for Annabelle McIver

Showing 1 to 3 of 3 results
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science) Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science) by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)

by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov


ISBN 13: 9783662488980

Format: Paperback (656 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

 
New : $57.45  
New : $57.45
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings: 11024 (Lecture Notes in Computer Science) Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings: 11024 (Lecture Notes in Computer Science) by Annabelle McIver,Andras Horvath

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings: 11024 (Lecture Notes in Computer Science)

by Annabelle McIver,Andras Horvath


ISBN 13: 9783319991535

Format: Paperback (436 pages)
Publisher: Springer
Published: 31 Oct 2018

Save for later

 
New : $57.18  
New : $57.18
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) by Annabelle McIver,Charles Carroll Morgan

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

by Annabelle McIver,Charles Carroll Morgan


ISBN 13: 9781441923127

Format: Paperback (404 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later

 
New : $134.22  
New : $134.22